Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities
نویسندگان
چکیده
منابع مشابه
Performance analysis of real-time embedded software
Make more knowledge even in less time every day. You may not always spend your time and money to go abroad and get the experience and knowledge by yourself. Reading is a good alternative to do in getting this desirable knowledge and experience. You may gain many things from experiencing directly, but of course it will spend much money. So here, by reading performance analysis of real time embed...
متن کاملOn Lock-Free Synchronization for Dynamic Embedded Real-Time Software∗
We consider non-blocking synchronization for dynamic embedded real-time systems such as those that are subject to resource overloads and arbitrary activity arrivals. The multi-writer/multi-reader problem inherently occurs in such systems, when their activities must concurrently and mutually exclusive share data objects. We consider lock-free synchronization for this problem under the unimodal a...
متن کاملReal-time Embedded Software Systems
No part of this document may be reproduced or distributed in any form by any means without prior written authorization of Tata Consultancy Services.
متن کاملAutomated Analysis of Concurrent and Real-Time Software
This paper surveys the current status of our work on automated analysis of the logical and timing properties of concurrent software based on the constrained expression approach. It describes our analysis toolset, reports some extremely encouraging results of using the toolset to analyze logical properties of nontrivial concurrent systems, and discusses the modifications we have made to the tool...
متن کاملStatic Stability Analysis of Embedded, Autocoded Software
Embedded software-based control systems are commonly constructed using model-based design environments such as MATLAB/SimulinkTMfrom MathWorks. These environments allow the system designer to establish critical properties ensuring the reliability of the system (stability, disturbance rejection, etc.) directly at the model level, using a rich mathematical toolset. However, the software implement...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2017
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2017.02.002